-
1 predicate form
Большой англо-русский и русско-английский словарь > predicate form
-
2 predicate form
Математика: предикативная форма -
3 predicate form
-
4 predicate form
The New English-Russian Dictionary of Radio-electronics > predicate form
-
5 predicate form
мат. -
6 form
1) анкета; бланк2) вид; форма || придавать вид или форму3) контур; очертание4) конфигурация6) строит. опалубка; элемент опалубки7) скамейка, лавочка8) формуляр9) составлять; образовывать10) формироваться•calculation in a series form — матем. вычисление с помощью ряда
evaluation of indeterminate form — матем. раскрытие неопределённости
fraction in a factored form — матем. дробь в форме разложения на множители
in an expanded form — в виде ряда; в развёрнутом виде
integration in a closed form — матем. интегрирование в конечном виде
of closed form — матем. в конечном виде, с конечным числом членов
preparation of type form — полигр. чернение набора
reduction to a normal form — матем. приведение к нормальной форме
to bring into a canonical form — матем. приводить к канонической форме; приводить к каноническому виду
to form a circle — замыкаться в кольцо; образовывать кольцо
to rearrange in the form — переписывать в виде; преобразовывать к виду ( об уравнениях)
- absolutely convergent form - absolutely extreme form - definite form - elementary form - elimination form of inverse - everywhere regular form - evolutionary operation form - geodesic curvature form - indefinite form - p-adically equivalent form - relatively bounded form - repair request form - third fundamental form - totally definite form - totally discontinuous formto take on a form — принимать форму; принимать вид
-
7 form
1) форма; вид; представление; формат || формировать; придавать вид; представлять; использовать формат2) шаблон; бланк ( для заполнения данными)•- Cayley form
- clipped form
- Codd's first normal form
- coil form
- continuous form
- cut form
- data entry form
- default numeric form
- digital form - functional form
- Hermitian form
- HTML form
- hybrid form
- IC form
- inductor form
- input form
- integrated-circuit form
- Killing form
- letter form
- linguistic form
- multipart form
- N-form
- network form - normalized form
- perfect disjunctive normal form
- predicate form
- preprinted form
- printer design form - reduced form
- restricted form
- restricted reduced form - state-space form
- structural form - unrestricted reduced form
- wave form -
8 form
1) форма; вид; представление; формат || формировать; придавать вид; представлять; использовать формат2) шаблон; бланк ( для заполнения данными)•- Backus-Naur form
- Boyce-Codd normal form
- canonical form
- Cayley form
- clipped form
- Codd's first normal form
- coil form
- continuous form
- cut form
- data entry form
- default numeric form
- digital form
- disjunctive normal form
- fifth normal form
- first normal form
- fourth normal form
- free form
- functional form
- Hermitian form
- HTML form
- hybrid form
- IC form
- inductor form
- input form
- integrated-circuit form
- Killing form
- letter form
- linguistic form
- multipart form
- network common data form
- network form
- N-form
- normal form
- normalized form
- perfect disjunctive normal form
- predicate form
- preprinted form
- printer design form
- projection-joint normal form
- quadratic form
- reduced form
- restricted form
- restricted reduced form
- second normal form
- speech form
- state-space form
- structural form
- third normal form
- turnaround form
- unrestricted reduced form
- wave formThe New English-Russian Dictionary of Radio-electronics > form
-
9 предикативная форма
Большой англо-русский и русско-английский словарь > предикативная форма
-
10 ing- clause
"инг"-оборотIng - clause — это оборот, в качестве сказуемого (Predicate) которого выступает "инг"- форма (Ing-form).В случае, если "инг"- форма является причастием (Participle), ing - clause представляет собой причастный оборот (см. Participle clause). В случае, если "инг"- форма является герундием (Gerund), ing - clause представляет собой герундиальный оборот (о герундиальном обороте см. ниже).1) Герундиальный оборот — это оборот, в качестве сказуемого (Predicate) которого выступает герундий (Gerund).2) Герундий, являющийся сказуемым герундиального оборота, может иметь при себе дополнения (Object) и обстоятельства.I remember meeting her at the party — Я помню, как встретил ее на вечеринке ( her — дополнение, at the party — обстоятельство).
3) Герундиальный оборот может иметь собственное подлежащее, выраженное существительным в притяжательном падеже / притяжательным местоимением либо существительным / местоимением в объектной форме (см. regret his leaving / regret him leaving). Такое местоимение / существительное ставится перед герундиемI don't mind him/his living here — Я не возражаю против того, чтобы он жил здесь.
I don't mind John/John's living here — Я не возражаю против того, чтобы Джон жил здесь.
•— Употребление герундиального оборота в качестве именного придаточного см. Nominal clause 4
-
11 bounded
1) граничить
2) ограниченный
3) ограниченно
4) разграниченный
5) связанный ∙ absolutely bounded form ≈ абсолютно ограниченная форма absolutely bounded function ≈ ограниченная по абсолютной величине функция absolutely bounded matrix ≈ абсолютно ограниченная матрица algebra of bounded representation type ≈ алгебра с ограниченными степенями представлений algebra of linearly bounded degree ≈ алгебра линейно ограниченной степени almost bounded function ≈ функция, ограниченная почти всюду bounded above function ≈ ограниченная сверху функция bounded above operator ≈ ограниченый сверху оператор bounded above subset ≈ ограниченное сверху подмножество bounded below function ≈ ограниченная снизу функция bounded below operator ≈ ограниченный снизу оператор bounded below subset ≈ ограниченное снизу подмножество bounded closed interval ≈ ограниченный замкнутый интервал bounded distance decoding ≈ декодирование с ограниченным расстоянием bounded from one side ≈ полуограниченный bounded open interval ≈ ограниченный открытый интервал bounded partial quotient ≈ ограниченное неполное частное bounded pure subgroup ≈ ограниченная сервантная подгруппа bounded random variable ≈ ограниченная случайная величина bounded universal hypothesis ≈ ограниченная универсальная гипотеза bounded variable technique ≈ метод ограниченной переменной collectively bounded set ≈ ограниченное в совокупности множество completely bounded set ≈ вполне ограниченное множество completely bounded space ≈ вполне органическое пространство completely bounded statistic ≈ вполне ограниченная статистика derivative of bounded variation ≈ производная с ограниченной вариацией doubly bounded quantifier ≈ ограниченный с двух сторон квантор essentially bounded function ≈ существенно ограниченная функция essentially bounded random variable ≈ существенно ограниченная случайная величина essentially bounded sequence ≈ существенно ограниченная последовательность explicitly bounded function ≈ явно ограниченная функция finitely bounded germ ≈ конечно ограниченный росток function of bounded characteristic ≈ функция с ограниченной характеристикой function of bounded type ≈ функция ограниченного вида function of bounded variation ≈ функция с ограниченным изменением linearly bounded automaton ≈ линейно ориентированный автомат linearly bounded set ≈ линейно ограниченное множество locally bounded curvature ≈ локально ограниченная кривизна locally bounded density ≈ локально ограниченная плотность locally bounded function ≈ локально ограниченная функция locally bounded game ≈ локально ограниченная игра locally bounded space ≈ локально ограниченное пространство metrically bounded functional ≈ метрически ограниченный функционал metrically bounded set ≈ метрически ограниченное множество nontangentially bounded function ≈ нетангенциально ограниченная функция nontangentially bounded integral ≈ некасательно ограниченный интеграл order bounded functional ≈ ограниченный по упорядоченности функционал pointwise bounded function ≈ точечно ограниченная функция polynomially bounded function ≈ полиномиально ограниченная функция process with bounded aftereffect ≈ процесс с ограниченным последействием progressively bounded graph ≈ прогрессивно ограниченный граф recursively bounded quantifier ≈ рекурсивно ограниченный квантор regressively bounded graph ≈ регрессивно ограниченный граф relatively bounded form ≈ относительно ограниченная форма sequentially bounded net ≈ последовательно ограниченная сеть simply bounded subset ≈ поточечно ограниченное подмножество smoothly bounded region ≈ гладко ограниченная область stochastically bounded sequence ≈ стохастически ограниченная последовательность strictly bounded set ≈ строго ограниченное множество strongly bounded set ≈ сильно ограниченное множество strongly bounded space ≈ сильно ограниченное пространство theor of semigroups of linear bounded operators ≈ теория полугрупп линейных ограниченных операторов topology of bounded convergence ≈ топология ограниченной сходимости totally bounded measure ≈ вполне ограниченная мера totally bounded set ≈ вполне ограниченное множество totally bounded space ≈ вполне ограниченное пространство totally bounded subset ≈ вполне ограниченное подмножество totally bounded uniformity ≈ вполне ограниченная равномерность uniformly bounded convergence ≈ равномерно ограниченная сходимость uniformly bounded curvature ≈ равномерно ограниченная кривизна uniformly bounded error ≈ равномерно ограниченная ошибка uniformly bounded family ≈ равномерно ограниченное семейство uniformly bounded function ≈ равномерно ограниченная функция uniformly bounded kernel ≈ равномерно ограниченное ядро uniformly bounded sequence ≈ равномерно ограниченная последовательность uniformly bounded series ≈ равномерно ограниченный ряд uniformly bounded set ≈ равномерно ограниченное множество uniformly bounded variation ≈ равномерно ограниченная вариация weakly bounded set ≈ слабо ограниченное множество weakly bounded subset ≈ слабо ограниченное подмножество - almost bounded - bounded above - bounded acceptor - bounded accuracy - bounded adele - bounded aggregate - bounded approximation - bounded automaton - bounded axonometry - bounded below - bounded characteristic - bounded collection - bounded compactness - bounded completeness - bounded continuum - bounded convergence - bounded curvature - bounded decomposition - bounded deficiency - bounded degree - bounded derivation - bounded derivative - bounded deviation - bounded difference - bounded distribution - bounded domain - bounded duality - bounded extension - bounded field - bounded flow - bounded form - bounded frontier - bounded function - bounded functional - bounded group - bounded homomorphism - bounded index - bounded integral - bounded integrand - bounded intersection - bounded invertibility - bounded kernel - bounded language - bounded lattice - bounded mapping - bounded martingale - bounded matrix - bounded measure - bounded metric - bounded module - bounded monotonicity - bounded morphism - bounded motion - bounded network - bounded norm - bounded operator - bounded order - bounded path - bounded polyhedron - bounded potential - bounded predicate - bounded problem - bounded product - bounded projection - bounded quality - bounded quantification - bounded quantifier - bounded quantity - bounded quotient - bounded region - bounded representation - bounded retract - bounded semigroup - bounded sequence - bounded series - bounded set - bounded solution - bounded space - bounded spectrum - bounded spline - bounded string - bounded subset - bounded subtraction - bounded sum - bounded summand - bounded support - bounded term - bounded topology - bounded transformation - bounded utility - bounded variance - bounded variation - bounded varying - bounded vector - essentially bounded - explicitly bounded - exponentially bounded - power bounded - uniformly bounded - weakly bounded (математика) ограниченный -
12 build
1. n форма, стиль постройки2. n строение, конструкция3. n телосложение4. n стр. вертикальный шов кладки5. v строить, сооружать6. v складывать; разводитьto build a fire — развести огонь; зажечь костёр
7. v вделывать, встраивать, вмуровыватьa cupboard built into a wall — шкаф, встроенный в стену
8. v строитьсяbuild built — строить; сооружать
9. v вить10. v создаватьbuild on — создавать; основыват; основыватся
11. v разг. делать, шить12. v основывать13. v основываться, полагатьсяСинонимический ряд:1. constitution (noun) constitution; frame; structure2. figure (noun) figure; form; shape3. physique (noun) habit; habitus; physique4. found (verb) base; be the founder; constitute; establish; formulate; found; ground; institute; organise; organize; originate; predicate; rest; root in; seat5. increase (verb) aggrandize; amplify; augment; beef up; boost; burgeon; compound; enlarge; escalate; expand; extend; grow; heighten; increase; magnify; manifold; mount; multiply; plus; push; rise; run up; snowball; swell; upsurge; wax6. make (verb) assemble; construct; create; erect; fabricate; fashion; forge; form; frame; make; manufacture; model; mold; mould; produce; put together; put up; raise; rear; set up; shape; uprear7. raise (verb) construct; erect; put up; raiseАнтонимический ряд:demolish; destroy -
13 nucleus
ˈnju:klɪəs лат.;
сущ.
1) ядро;
центр Retired employees make up the nucleus of the club. ≈ Удалившиеся от дел служащие составили ядро клуба. When a monastery was planted, it soon became the nucleus around which the inhabitants of the neighbourhood clustered. ≈ Вскоре после того, как монастырь был основан, он стал центром, вокруг которого сгруппировались жители ближайших окрестностей. nucleus of a story ≈ суть рассказа Syn: core I
1., seed, nub, heart, kernel, center, pith
2) физ. атомное ядро
3) астр. ядро (кометы, туманности или галактики) the nucleus of the comet ≈ ядро кометы The photograph shows both nuclei of the nebula to be stellar. ≈ На фотографии видно, что оба ядра туманности являются звездоподобными.
4) бот. косточка( плода) ;
редк. или уст. ядро (ореха)
5) биол. ядро (клетки)
6) физиол. ядро центральной нервной системы
7) ядро кристаллизации
8) небольшой рой пчел, включающий матку, который берут в качестве основы новой колонии
9) а) фонет. слог, несущий главное ударение (в отдельно взятом слове) б) линг. ядро (сочетания или предложения) The subject and the predicate together form the nucleus of the sentence. J. Lyons) ≈ Субъект и предикат образуют ядро предложения. ядро nucleus лат. биол. зародыш ~ лат. бот. косточка (плода) ;
ядро (ореха) ~ лат. нервный центр( в головном мозгу) ~ лат. биол. ядро (клетки) ~ (pl lei) лат. ядро;
центр;
nucleus of a story суть рассказа ~ лат. ядро атома, атомное ядро ~ (pl lei) лат. ядро;
центр;
nucleus of a story суть рассказа -
14 expression
1) выражение2) представление (напр. в виде символов)3) выразительность звука; экспрессивность исполнения (напр. мелодии)4) вчт контроллер "выразительность звука", MIDI-контроллер №11•- algebraic expression
- ambiguous expression
- analytical expression
- approximate expression
- arithmetic expression
- asymptotic expression
- atomic expression
- Boolean expression
- bracketed expression
- canonical expression
- conditional expression
- constant expression
- convergent expression
- defining expression
- designational expression
- deterministic expression
- divergent expression
- emitted expression
- exact expression
- explicit expression
- exponential expression
- formal expression
- functional expression
- fuzzy expression
- graphic expression
- implicit expression
- integer expression
- integral expression
- invariant expression
- irrational expression
- literal expression
- logical expression
- mathematical expression
- matrix expression
- MIDI expression
- nested expression
- numerical expression
- operator expression
- parenthesized expression
- predicate expression
- radical expression
- range expression
- rational expression
- regular expression
- relational expression
- relocatable expression
- rotationally-invariant expression
- scalar expression
- static expression
- symbolic expression
- tree expression
- trigonometric expression
- unique expression
- variable expression
- vector expression -
15 expression
1) выражение2) представление (напр. в виде символов)3) выразительность звука; экспрессивность исполнения (напр. мелодии)4) вчт. контроллер "выразительность звука", MIDI-контроллер №11•- algebraic expression
- ambiguous expression
- analytical expression
- approximate expression
- arithmetic expression
- asymptotic expression
- atomic expression
- Boolean expression
- bracketed expression
- canonical expression
- conditional expression
- constant expression
- convergent expression
- defining expression
- designational expression
- deterministic expression
- divergent expression
- emitted expression
- exact expression
- explicit expression
- exponential expression
- formal expression
- functional expression
- fuzzy expression
- graphic expression
- implicit expression
- integer expression
- integral expression
- invariant expression
- irrational expression
- literal expression
- logical expression
- mathematical expression
- matrix expression
- MIDI expression
- nested expression
- numerical expression
- operator expression
- parenthesized expression
- predicate expression
- radical expression
- range expression
- rational expression
- regular expression
- relational expression
- relocatable expression
- rotationally-invariant expression
- scalar expression
- static expression
- symbolic expression
- tree expression
- trigonometric expression
- unique expression
- variable expression
- vector expressionThe New English-Russian Dictionary of Radio-electronics > expression
-
16 nucleus
['njuːklɪəs]сущ.; лат.; мн. nuclei1) ядро; центрRetired employees make up the nucleus of the club. — Удалившиеся от дел служащие составляют ядро клуба.
When a monastery was planted, it soon became the nucleus around which the inhabitants of the neighbourhood clustered. — Вскоре после того, как монастырь был основан, он стал центром, вокруг которого группировались жители ближайших окрестностей.
Syn:2) физ. атомное ядро3) астр. ядро (кометы, туманности или галактики)The photograph shows both nuclei of the nebula to be stellar. — На фотографии видно, что оба ядра туманности являются звёздоподобными.
5) биол. ядро ( клетки)6) биол. ядро центральной нервной системы8) небольшой рой пчёл, включающий матку ( берут в качестве основы новой колонии)9) лингв.а) слог, несущий главное ударение (в отдельно взятом слове)The subject and the predicate together form the nucleus of the sentence. (J. Lyons) — Субъект и предикат образуют ядро предложения.
-
17 domain
1) владение, имение2) территория, зона3) физ. домен4) область, сфера5) матем. область определения6) область, домен• -
18 compound
1. n физ. хим. соединение; смесь; состав2. n лингв. сложное слово3. n тех. компаунд-машина4. a спец. составной, сложный5. v смешивать, составлять; соединять6. v юр. приходить к компромиссному соглашению; выкупать; погашать повременные платежиthey finally compounded their differences and shook hands — они в конце концов уладили свои разногласия и обменялись рукопожатием
7. v юр. отказываться от возбуждения иска, жалобы8. v юр. начислять или рассчитывать сложные проценты9. v юр. осложнять; усугублять10. n огороженная территория вокруг фабрики или жилья европейца11. n огороженные бараки для рабочих алмазных приисков12. n воен. временный лагерь для военнопленныхСинонимический ряд:1. composite (adj.) combined; complex; complicated; composite; difficult; intricate; involved; mixed; multifarious; multiple; varied2. common (noun) common; court; grounds3. mixture (noun) admixture; aggregate; alloy; amalgam; amalgamation; blend; combination; commixture; composite; compost; fusion; immixture; interfusion; intermixture; mix; mixture; mix-up; preparation; solution; suspension; synthesis4. increase (verb) aggrandize; augment; beef up; boost; build; complicate; confound; enlarge; exacerbate; expand; extend; heighten; increase; intensify; magnify; make complex; make intricate; manifold; multiply; plus; push5. join (verb) associate; bond; bracket; coadunate; coagment; coalesce; combine; concrete; confuse; conjoin; conjugate; connect; couple; incorporate; join; link; marry; one; relate; synthesize; unite; wed; yoke6. mix (verb) admix; amalgamate; blend; comingle; commingle; commix; fuse; immingle; immix; interblend; interflow; interfuse; intermingle; intermix; make up; meld; merge; mingle; mix; stirАнтонимический ряд:element; minimize; separate; simple -
19 establish
1. v основывать, учреждать; создавать, организовывать2. v устанавливать, создаватьto establish conditions under which … — создать условия, при которых …
3. v упрочивать, укреплять; утверждать4. v устраивать5. v устанавливать, выяснять, определятьfacts established by the Commission — факты, установленные комиссией
6. v приняться7. v укоренить, вкоренить8. v назначать, устраивать; возводить9. v издавать; устанавливать; вводить10. v постановлять, устанавливатьas established by law — как установлено законом, в установленном порядке
11. v юр. доказывать12. v юр. юр. редк. передавать права13. v юр. заложить14. v юр. разбить15. v юр. воен. развёртывать16. v юр. фин. открыватьСинонимический ряд:1. enact (verb) appoint; authorise; authorize; constitute; decree; enact; legislate; make; ordain; promulgate2. erect (verb) build up; construct; erect; hammer out; set up3. found (verb) base; bottom; build; constitute; create; ensconce; form; found; ground; initiate; install; institute; locate; organize; predicate; rest; root in; situate; start; stay4. set (verb) fix; install; lay; place; put; seat; set; settle; stick5. start (verb) create; institute; organise; originate; start6. verify (verb) ascertain; authenticate; bear out; confirm; corroborate; demonstrate; determine; find out; learn; make out; prove; show; substantiate; validate; verifyАнтонимический ряд:confute; conjecture; controvert; defeat; destroy; disprove; dissolve; guess; invalidate; liquidate; misstate; overcome; overthrow; uproot -
20 ground
1. n земля, поверхность землиon firm ground — на суше, на твёрдой земле
2. n почва, земля, грунтcontaminated ground — радиоактивно заражённый грунт, радиоактивно заражённая местность
to open ground — подготавливать почву, начинать действовать
3. n дно моря4. n горн. подошва выработки5. n участок земли6. n сад, парк, участок земли вокруг дома7. n площадка; спортивная площадкаteeing ground — часть площадки, на которой находится метка
recreation ground — площадка для игр; спортплощадка
8. n полигон; аэродром; плацfiring ground — полигон, стрельбище
9. n территория10. n местность, область, район11. n высота12. n фон; грунт, грунтовка13. n офортный лак14. n жив. план15. n основание, причина, мотивthere are still grounds for hope — всё ещё можно надеяться;
on personal grounds — по личным мотивам, из личных соображений
on what ground? — на каком основании?, по какой причине?
16. n предмет, темаdebatable ground — спорная тема; предмет спора
common ground — вопрос, в котором спорящие стороны сходятся
delicate ground — щекотливая тема; щекотливый вопрос, щекотливая ситуация
17. n l18. n осадок, гуща, подонки19. n редк. остатки пищи20. n уст. фундамент21. n уст. основной принцип22. n уст. зачатки, основы23. n уст. основная, основополагающая часть24. n уст. охот. нора25. n уст. текст. основаon the ground of — на основании; на основе; по причине; исходя из соображения
26. n уст. муз. граунд, остинатный басbelow ground — умерший, скончавшийся; в земле, в могиле
to fall to the ground — рушиться; оказаться бесплодным
into the ground — до последней степени; перейдя все границы
27. a наземный28. a держащийся низко над землёйlow-lying ground — низкая местность, низина
29. a аэродромный30. v сесть на мельground bus — земляная шина; шина заземления
31. v посадить на мель32. v мор. заставить выброситься на берег или приткнуться к берегуcommon ground! — согласен!; я тоже так думаю!
33. v ав. приземляться34. v ав. заставить приземлиться35. v ав. препятствовать отрыву от землиthe planes were grounded by the fog, the fog grounded the planes — из-за тумана самолёты не могли подняться в воздух
36. v ав. класть, опускать на землюto ground arms — складывать оружие, сдаваться
37. v ав. опускаться на землю38. v ав. основывать, обосновывать39. v ав. обучать основам40. v ав. эл. заземлять41. v ав. спец. грунтовать42. v ав. мездрить43. v ав. стр. положить основаниеreasonable ground — достаточное, разумное основание
on the ground that — на том основании; что
on that ground … — на том основании, что …
44. v ав. отстранять от полётов; отчислять из лётного состава45. v ав. лишать водительских прав; не разрешать водить автомобиль46. v ав. отчислять из флота47. v ав. не разрешать вылет; не разрешать старт48. a молотый, толчёный, измельчённый49. a матовый, матированныйСинонимический ряд:1. base (noun) account; base; basement; basis; bed; bedrock; bottom; cause; factor; foot; footing; foundation; groundwork; hardpan; infrastructure; motivation; motive; premise; rest; root; seat; seating; substratum; substruction; substructure; underpinning; understructure2. land (noun) dirt; dry land; earth; land; loam; mold; mould; soil; terra firma3. reason (noun) argument; proof; reason; wherefore; why; whyfor4. base (verb) base; bottom; build; establish; fix; found; predicate; rest; root in; seat; set; settle; stay5. crunched (verb) crunched; gnashed6. fell (verb) bowl down; bowl over; bring down; cut down; deck; down; drop; fell; flatten; floor; knock down; knock over; lay low; level; mow down; prostrate; throw; throw down; tumble7. ground (verb) bone up; crammed; ground8. instruct (verb) educate; indoctrinate; instruct; train9. milled (verb) crushed; granulated; milled; powdered; pulverised10. slaved (verb) drudged; grubbed; plodded; slaved; slogged; toiledАнтонимический ряд:embellishment; heaven
См. также в других словарях:
predicate calculus — Logic. See functional calculus. Also called predicate logic. [1945 50] * * * Part of modern symbolic logic which systematically exhibits the logical relations between propositions involving quantifiers such as all and some. The predicate calculus … Universalium
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
Predicate (grammar) — In traditional grammar, a predicate is one of the two main parts of a sentence (the other being the subject, which the predicate modifies). In current linguistic semantics, a predicate is an expression that can be true of something. Thus, the… … Wikipedia
predicate — A predicate is any expression that is capable of connecting with one or more singular terms to make a sentence. A predicate expresses a condition that the entities referred to may satisfy, in which case the resulting sentence will be true. For… … Philosophy dictionary
Predicate logic — In mathematical logic, predicate logic is the generic term for symbolic formal systems like first order logic, second order logic, many sorted logic or infinitary logic. This formal system is distinguished from other systems in that its formulas… … Wikipedia
predicate — verb (predicated, predicating) –verb (t) /ˈprɛdɪkeɪt / (say predikayt) 1. to proclaim; declare; affirm or assert. 2. to affirm or assert (something) of the subject of a proposition. 3. to connote or imply. 4. to found or base (a statement, action …
predicate — Synonyms and related words: IC analysis, advance, affirm, affirmance, affirmation, allegation, allege, announce, announcement, annunciate, annunciation, appositive, argue, assert, assertion, assever, asseverate, asseveration, attribute,… … Moby Thesaurus
Syntactic predicate — A syntactic predicate specifies the syntactic validity of applying a production in a formal grammar and is analogous to a semantic predicate that specifies the semantic validity of applying a production. It is a simple and effective means of… … Wikipedia
Monadic predicate calculus — In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. All atomic formulae have the form P(x), where P… … Wikipedia
Continuous predicate — is a term coined by Charles Sanders Peirce (1839–1914) to describe a special type of relational predicate that results as the limit of a recursive process of hypostatic abstraction. Here is one of Peirce s definitive discussions of the concept:… … Wikipedia
Kleene's T predicate — In computability theory, the T predicate, first studied by mathematician Stephen Cole Kleene, is a particular set of triples of natural numbers that is used to represent computable functions within formal theories of arithmetic. Informally, the T … Wikipedia